Новая философская энциклопедия - дедуктивное умозаключение
Связанные словари
Дедуктивное умозаключение
Впервые систематический анализ одной из разновидностей дедуктивных умозаключений — силлогистических умозаключений, посылками и заключениями которых являются атрибутивные высказывания,— был осуществлен Аристотелем в «Первой Аналитике» и существенным образом развит его античными и средневековыми последователями. Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок, исследовались в школе стоиков и—особенно подробно—в средневековой логике. Были выделены такие важные типы умозаключений, как условно-категорические (modus ponens, modus tollens), разделительно-категорические (modus tollendo ponens, modus ponendo tollens), условноразделительные (лемматические) и др.
Однако в рамках традиционной логики описывалась лишь небольшая часть дедуктивных умозаключений и отсутствовали точные критерии логической корректности рассуждений. В современной символической логике, благодаря использованию методов формализации, построению логических исчислений и формальных семантик, аксиоматическому методу, исследование дедуктивных умозаключений было поднято на качественно иной, теоретический уровень.
Средствами современной логической теории удается задать всю совокупность форм правильных дедуктивных умозаключений в рамках определенного формализованного языка. Если теория строится семантически, то переход от формул Ai, Ai, ..., An к формуле В объявляется формой корректного дедуктивного умозаключения при наличии логического следования В из , , „., An, данное отношение обычно определяется так: при любой допустимой в данной теории интерпретации нелогических символов, при которой Ai, Ai,..., An принимают выделенное значение (значение истины), формула В также принимает выделенное значение. В синтаксически построенных логических системах (исчислениях) критерием логической корректности перехода от А, Ai, .... An к В выступает существование формального вывода формулы В из формул Ai, Ai, .. An, осуществляемого в соответствии с правилами данной системы (см. Вывод логический).
Выбор логической теории, адекватной для проверки дедуктивных умозаключений, обусловливается типом высказываний, входящих в его состав, и выразительными возможностями языка теории. Так, умозаключения, содержащие сложные высказывания, могут анализироваться средствами логики высказываний; при этом внутренняя структура простых высказываний в составе сложных игнорируется. Силлогистика исследует умозаключения из простых атрибутивных высказываний, основанные на объемных отношениях в сфере общих терминов. Средствами логики предикатов выделяются корректные дедуктивные умозаключения на основе учета внутренней структуры простых высказываний самых разнообразных видов. Умозаключения, содержащие модальные высказывания, рассматриваются в рамках систем модальной логики, те, которые содержат овременённые высказывания,—в рамках временной логики и т. д.
В. И. Маркин
См. в других словарях
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2285 | |
2 | 1813 | |
3 | 1765 | |
4 | 1758 | |
5 | 1670 | |
6 | 1610 | |
7 | 1523 | |
8 | 1491 | |
9 | 1490 | |
10 | 1470 | |
11 | 1444 | |
12 | 1441 | |
13 | 1420 | |
14 | 1416 | |
15 | 1316 | |
16 | 1289 | |
17 | 1276 | |
18 | 1270 | |
19 | 1262 | |
20 | 1244 |